The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Joost-Pieter Katoen Books

Results for Joost-Pieter Katoen

Showing 1 to 4 of 4 results
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European ... 2002. Pr (Lecture Notes in Computer Science) Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European ... 2002. Pr (Lecture Notes in Computer Science) by Perdita Stevens,Joost-Pieter Katoen

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European ... 2002. Pr (Lecture Notes in Computer Science)

by Perdita Stevens,Joost-Pieter Katoen


ISBN 13: 9783540434191

Format: Paperback (500 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $56.84  
New : $56.84
Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science: First EEF/Euro Summer School on ... 2090 (Lecture Notes in Computer Science) Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science: First EEF/Euro Summer School on ... 2090 (Lecture Notes in Computer Science) by Ed Brinksma,Holger Hermanns,Joost-Pieter Katoen

Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science: First EEF/Euro Summer School on ... 2090 (Lecture Notes in Computer Science)

by Ed Brinksma,Holger Hermanns,Joost-Pieter Katoen


ISBN 13: 9783540424796

Format: Paperback (444 pages)
Publisher: Springer
Published: 29 Aug 2001

Save for later

 
New : $57.14  
New : $57.14
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday: 10500 (Lecture Notes in Computer Science) ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday: 10500 (Lecture Notes in Computer Science) by Joost-Pieter Katoen,Rom Langerak,Arend Rensink

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday: 10500 (Lecture Notes in Computer Science)

by Joost-Pieter Katoen,Rom Langerak,Arend Rensink


ISBN 13: 9783319682693

Format: Paperback (404 pages)
Publisher: Springer
Published: 22 Oct 2017

Save for later

 
New : $56.78  
New : $56.78
Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, ... 11951 (Lecture Notes in Computer Science) Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, ... 11951 (Lecture Notes in Computer Science) by Nan Guan, Joost-Pieter Katoen, Jun Sun

Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, ... 11951 (Lecture Notes in Computer Science)

by Nan Guan, Joost-Pieter Katoen, Jun Sun


ISBN 13: 9783030355395

Format: Paperback (156 pages)
Publisher: Springer
Published: 10 Nov 2019

Save for later

 
New : $56.35  
New : $56.35